widget: Queue redraw on gtk_widget_queue_allocate()
authorBenjamin Otte <otte@redhat.com>
Fri, 30 Oct 2015 01:06:01 +0000 (02:06 +0100)
committerBenjamin Otte <otte@redhat.com>
Fri, 30 Oct 2015 01:09:17 +0000 (02:09 +0100)
commite39b8611bd20e602102a7e1b8e06e34c1b85cfe5
tree651f00a4f0149f26d990bca0686ce6c0238b6bc9
parent32de7edf1dec5528b8d02cb765b2c76471f321c6
widget: Queue redraw on gtk_widget_queue_allocate()

Mirror the behavior of gtk_widget_queue_resize() and always queue a
redraw. If we ever want to cause allocates without redraws we can add
gtk_widget_queue_allocate_no_redraw() then.

I had initially assumed gtk_widget_size_allocate() would take care of
queueing redraws, but it does not do that when neither size nor position
change. And that is obviously what's happening after
gtk_widget_queue_allocate().

Fixes buttons sometimes not redrawing (the record button in
widget-factory after locking it, all buttons when switching to the dark
theme).
gtk/gtkwidget.c